A Modeling Language for Mathematical Programming